Mutant Ninja viruses

The Ninja

We present the design and implementation of the \Ninja Jukebox", an infrastructural service that allows a community of users to build a distributed, collaborative music repository that delivers digital music to Internet clients, and that performs simple collaborative ltering based on users' song preferences inferred by the service. The Jukebox, implemented in Java, was designed to allow rapid s...

Secret Ninja Formal Methods

The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric for use in undergraduate classes. This paper describes a method, used successfully at several universities, that combines ninja stealth with the latest advances in formal methods tools and technologies to integrate ap...

The Ninja: An Invented Tradition?

NINJA: Java for high performance numerical computing

When Java was first introduced, there was a perception that its many benefits came at a significant performance cost. In the particularly performance-sensitive field of numerical computing, initial measurements indicated a hundred-fold performance disadvantage between Java and more established languages such as Fortran and C. Although much progress has been made, and Java now can be competitive...

The Ninja Jukebox 2 Design Philosophy

We present the design and implementation of the \Ninja Jukebox", an infrastructural service that allows a community of users to build a distributed, collaborative music repository that delivers digital music to Internet clients, and that performs simple collaborative ltering based on users' song preferences inferred by the service. The Jukebox, implemented in Java, was designed to allow rapid s...